1. A recursive introduction to the theory of computation
پدیدآورنده: Carl H. Smith
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
2. Applications and Science in Soft Computing
پدیدآورنده: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Decision making.,Operations research.
3. Bayesian Approach to Global Optimization :
پدیدآورنده: by Jonas Mockus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
4. Computer-aided design and manufacturing :
پدیدآورنده: T Kohonen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
TS155
.
6
T564
2012
5. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
6. Modula-2 :
پدیدآورنده: by Daniel Thalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
73
.
M63
B933
1985
7. Parametric design for architecture /
پدیدآورنده: Wassim Jabi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Architectural design-- Data processing.,Computer-aided design.,Architectural design-- Data processing.,ARCHITECTURE-- Adaptive Reuse & Renovation.,ARCHITECTURE-- Buildings-- Landmarks & Monuments.,ARCHITECTURE-- Professional Practice.,ARCHITECTURE-- Reference.,Computer-aided design.
رده :
NA2728
8. Proceedings / Parcella 1988 :
پدیدآورنده: by Gottfried Wolf, Tamas Legendi, Udo Schendel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
9. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده: ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
10. The art of R programming :
پدیدآورنده: by Norman Matloff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
.
M2925
2011
11. معرفی بازگشتی نظریه محاسبات
پدیدآورنده: / تالیف کارل اسمیت,عنوان اصلی: A recursive introduction to the theory of computation, 1994.,اسمیت,Smith
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع: برنامه‌نویسی,Computer programming,توابع بازگشتی,Recursive functions, -- داده‌پردازی, -- Data processing,a01,a03,a03
رده :
QA
۷۶
/
۶
/
الف
۴۷
م
۶ ۱۳۹۴
